#ifndef __EKF_HPET_H__
#define __EKF_HPET_H__

extern volatile uint64_t ekf_hpet[];

#endif
